Structured Systems Analysis through Prolog
نویسندگان
چکیده
منابع مشابه
The Application of Prolog to Structured Design
form suitable for the transform centre. An efferent stream, on the other hand, is a string of processes which convert output data from the transform centre into a more physical form suitable for output to the real world. We can know for sure that some nodes must belong to the transform centre. They satisfy either of the following conditions: (a) The node name contains a verb such as subtract wh...
متن کاملTowards Structured State Threading in Prolog
It is very often the case that programs require passing, maintaining, and updating some notion of state. Prolog programs often implement such stateful computations by carrying this state in predicate arguments (or, alternatively, in the internal datábase). This often causes code obfuscation, complicates code reuse, introduces dependencies on the data model, and is prone to incorrect propagation...
متن کاملImplementing Prolog on Distributed Systems: N-parallel Prolog
A method for distributing Prolog across multiple processors is described. Design criterion and rationale are delineated along with the assumptions behind the methodology. The underlying assumptions are based on the need to provide each processor with maximum sequential work. The parallelization mechanism was implemented using a meta-interpreter that includes new predicates for dependency detect...
متن کاملCardinality Analysis of Prolog
This paper proposes a novel analysis, called cardinality analysis, to approximate the number of solutions to a goal. The analysis is an instantiation of a new abstract interpretation framework for full Prolog (without dynamic predicates) based on sequences of substitutions. The abstract domain captures not only modes and types but also lower and upper bounds on the number of solutions and infor...
متن کاملA structured alternative to Prolog with simple compositional semantics
Prolog's very useful expressive power is not captured by traditional logic programming semantics, due mainly to the cut and goal and clause order. Several alternative semantics have been put forward, exposing operational details of the computation state. We propose instead to redesign Prolog around structured alternatives to the cut and clauses, keeping the expressive power and computation mode...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1989
ISSN: 0167-6423
DOI: 10.1016/0167-6423(89)90021-x